--
-- $Id: xpa-list.ads,v 1.3 2005-08-03 15:41:36 bacon Exp $
--

with ada.finalization;

generic
	type datum_type is private;
--	with function "=" (left, right: datum_Type) return boolean is <>;

package xpa.list is
	type list_base is abstract tagged private;

	function size (object: in list_base) return natural is abstract;
	procedure clear (object: in out list_base) is abstract;

private
	type list_base is abstract new ada.finalization.controlled with null record;

--	type list_base is abstract tagged 
--	record
--		null;
--	end record;

	type iterator_base is abstract tagged
	record
		null;
	end record;

end xpa.list;

